Fix read of guest psr to properly set dfh and other bits (by Matt Chapman)
authordjm@kirby.fc.hp.com <djm@kirby.fc.hp.com>
Fri, 18 Nov 2005 17:04:58 +0000 (11:04 -0600)
committerdjm@kirby.fc.hp.com <djm@kirby.fc.hp.com>
Fri, 18 Nov 2005 17:04:58 +0000 (11:04 -0600)
commit081db0ddef0367bedd3fa1baa2202c2ceeca6a61
tree3ff164bc236e8bb188b7461ef4233734d250bf6f
parentf3ccc1264462cb6164a021dc21c43a2c81db1701
Fix read of guest psr to properly set dfh and other bits (by Matt Chapman)
xen/arch/ia64/xen/vcpu.c